#!/bin/sh
gdb -x gdb_info ex
